TSTP Solution File: DAT316^1 by Nitpick---2016